$\forall$${\it loc}$:Id, $k$:Knd, $L$:(IdLnk List). Rbframe(${\it loc}$; $k$; $L$) $\in$ es\_realizer\{i:l\}